This has been introduced in 38c17b0 (sidebar is a shared partial now,
2012-05-02) and it looks like some unwanted Intellisense left-over.

Signed-off-by: Johannes Schindelin <[email protected]>

This clearly wanted to be an end tag.

Signed-off-by: Johannes Schindelin <[email protected]>

We have not shown the banner in years. Let's just drop it.

Signed-off-by: Johannes Schindelin <[email protected]>

Contrary to the claim of that commit, that repository _does_ exist.

Besides, it is referenced in quite a few places, e.g. in
`app/views/books/_translations.html.erb`. Therefore we would either
remove those references (that were forgotten in the commit that
removed the Malaysian translation), or reinstate the entry in
`@all_books`. Let's do the latter.

This reverts commit 0f82f6f.

Signed-off-by: Johannes Schindelin <[email protected]>

Since git/git@76880f0510c (doc: git-clone: apply new documentation
formatting guidelines, 2024-03-29) and its parent commit, the synopses
of the manual pages of the `git clone` and the `git init` command are
rendered in a different way.

This matters because the changes were clearly only tested with AsciiDoc,
but not with AsciiDoctor. Using the latter, the formatting is all off,
unless the default stylesheet is overridden.

On Git's home page, AsciiDoctor is used to render the manual pages, and
the default stylesheet is overridden.

However, the synopses still look unpleasant to my eye, e.g. because of
the inconsistent background color of the `<code>` blocks.

This commit changes the style of the `<code>` blocks in the synopses so
that they flow better again, visually.

Signed-off-by: Johannes Schindelin <[email protected]>